Probabilistic Bisimulation: Naturally on Distributions

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition refines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a long-standing open problem concerning the representation of memoryless continuous time by memory-full continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems

Ret is essential to mediate GDNF’s neuroprotective and neuroregenerative effect in a Parkinson disease mouse model

Glial cell line-derived neurotrophic factor (GDNF) is a potent survival and regeneration-promoting factor for dopaminergic neurons in cell and animal models of Parkinson disease (PD). GDNF is currently tested in clinical trials on PD patients with so far inconclusive results. The receptor tyrosine kinase Ret is the canonical GDNF receptor, but several alternative GDNF receptors have been proposed, raising the question of which signaling receptor mediates here the beneficial GDNF effects. To address this question we overexpressed GDNF in the striatum of mice deficient for Ret in dopaminergic neurons and subsequently challenged these mice with 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP). Strikingly, in this established PD mouse model, the absence of Ret completely abolished GDNF’s neuroprotective and regenerative effect on the midbrain dopaminergic system. This establishes Ret signaling as absolutely required for GDNF’s effects to prevent and compensate dopaminergic system degeneration and suggests Ret activation as the primary target of GDNF therapy in PD

Heterogeneous Host Susceptibility Enhances Prevalence of Mixed-Genotype Micro-Parasite Infections

Dose response in micro-parasite infections is usually shallower than predicted by the independent action model, which assumes that each infectious unit has a probability of infection that is independent of the presence of other infectious units. Moreover, the prevalence of mixed-genotype infections was greater than predicted by this model. No probabilistic infection model has been proposed to account for the higher prevalence of mixed-genotype infections. We use model selection within a set of four alternative models to explain high prevalence of mixed-genotype infections in combination with a shallow dose response. These models contrast dependent versus independent action of micro-parasite infectious units, and homogeneous versus heterogeneous host susceptibility. We specifically consider a situation in which genome differences between genotypes are minimal, and highly unlikely to result in genotype-genotype interactions. Data on dose response and mixed-genotype infection prevalence were collected by challenging fifth instar Spodoptera exigua larvae with two genotypes of Autographa californica multicapsid nucleopolyhedrovirus (AcMNPV), differing only in a 100 bp PCR marker sequence. We show that an independent action model that includes heterogeneity in host susceptibility can explain both the shallow dose response and the high prevalence of mixed-genotype infections. Theoretical results indicate that variation in host susceptibility is inextricably linked to increased prevalence of mixed-genotype infections. We have shown, to our knowledge for the first time, how heterogeneity in host susceptibility affects mixed-genotype infection prevalence. No evidence was found that virions operate dependently. While it has been recognized that heterogeneity in host susceptibility must be included in models of micro-parasite transmission and epidemiology to account for dose response, here we show that heterogeneity in susceptibility is also a fundamental principle explaining patterns of pathogen genetic diversity among hosts in a population. This principle has potentially wide implications for the monitoring, modeling and management of infectious diseases

Nonviral Approaches for Neuronal Delivery of Nucleic Acids

The delivery of therapeutic nucleic acids to neurons has the potential to treat neurological disease and spinal cord injury. While select viral vectors have shown promise as gene carriers to neurons, their potential as therapeutic agents is limited by their toxicity and immunogenicity, their broad tropism, and the cost of large-scale formulation. Nonviral vectors are an attractive alternative in that they offer improved safety profiles compared to viruses, are less expensive to produce, and can be targeted to specific neuronal subpopulations. However, most nonviral vectors suffer from significantly lower transfection efficiencies than neurotropic viruses, severely limiting their utility in neuron-targeted delivery applications. To realize the potential of nonviral delivery technology in neurons, vectors must be designed to overcome a series of extra- and intracellular barriers. In this article, we describe the challenges preventing successful nonviral delivery of nucleic acids to neurons and review strategies aimed at overcoming these challenges

Effect of Systemic Hypertension With Versus Without Left Ventricular Hypertrophy on the Progression of Atrial Fibrillation (from the Euro Heart Survey).

Hypertension is a risk factor for both progression of atrial fibrillation (AF) and development of AF-related complications, that is major adverse cardiac and cerebrovascular events (MACCE). It is unknown whether left ventricular hypertrophy (LVH) as a consequence of hypertension is also a risk factor for both these end points. We aimed to assess this in low-risk AF patients, also assessing gender-related differences. We included 799 patients from the Euro Heart Survey with nonvalvular AF and a baseline echocardiogram. Patients with and without hypertension were included. End points after 1 year were occurrence of AF progression, that is paroxysmal AF becoming persistent and/or permanent AF, and MACCE. Echocardiographic LVH was present in 33% of 379 hypertensive patients. AF progression after 1 year occurred in 10.2% of 373 patients with rhythm follow-up. In hypertensive patients with LVH, AF progression occurred more frequently as compared with hypertensive patients without LVH (23.3% vs 8.8%, p = 0.011). In hypertensive AF patients, LVH was the most important multivariably adjusted determinant of AF progression on multivariable logistic regression (odds ratio 4.84, 95% confidence interval 1.70 to 13.78, p = 0.003). This effect was only seen in male patients (27.5% vs 5.8%, p = 0.002), while in female hypertensive patients, no differences were found in AF progression rates regarding the presence or absence of LVH (15.2% vs 15.0%, p = 0.999). No differences were seen in MACCE for hypertensive patients with and without LVH. In conclusion, in men with hypertension, LVH is associated with AF progression. This association seems to be absent in hypertensive women

Progression From Paroxysmal to Persistent Atrial Fibrillation. Clinical Correlates and Prognosis

Objectives: We investigated clinical correlates of atrial fibrillation (AF) progression and evaluated the prognosis of patients demonstrating AF progression in a large population. Background: Progression of paroxysmal AF to more sustained forms is frequently seen. However, not all patients will progress to persistent AF. Methods: We included 1,219 patients with paroxysmal AF who participated in the Euro Heart Survey on AF and had a known rhythm status at follow-up. Patients who experienced AF progression after 1 year of follow-up were identified. Results: Progression of AF occurred in 178 (15%) patients. Multivariate analysis showed that heart failure, age, previous transient ischemic attack or stroke, chronic obstructive pulmonary disease, and hypertension were the only independent predictors of AF progression. Using the regression coefficient as a benchmark, we calculated the HATCH score. Nearly 50% of the patients with a HATCH score >5 progressed to persistent AF compared with only 6% of the patients with a HATCH score of 0. During follow-up, patients with AF progression were more often admitted to the hospital and had more major adverse cardiovascular events. Conclusions: A substantial number of patients progress to sustained AF within 1 year. The clinical outcome of these patients regarding hospital admissions and major adverse cardiovascular events was worse compared with patients demonstrating no AF progression. Factors known to cause atrial structural remodeling (age and underlying heart disease) were independent predictors of AF progression. The HATCH score may help to identify patients who are likely to progress to sustained forms of AF in the near future. \ua9 2010 American College of Cardiology Foundation

Using viral vectors as gene transfer tools (Cell Biology and Toxicology Special Issue: ETCS-UK 1 day meeting on genetic manipulation of cells)

In recent years, the development of powerful viral gene transfer techniques has greatly facilitated the study of gene function. This review summarises some of the viral delivery systems routinely used to mediate gene transfer into cell lines, primary cell cultures and in whole animal models. The systems described were originally discussed at a 1-day European Tissue Culture Society (ETCS-UK) workshop that was held at University College London on 1st April 2009. Recombinant-deficient viral vectors (viruses that are no longer able to replicate) are used to transduce dividing and post-mitotic cells, and they have been optimised to mediate regulatable, powerful, long-term and cell-specific expression. Hence, viral systems have become very widely used, especially in the field of neurobiology. This review introduces the main categories of viral vectors, focusing on their initial development and highlighting modifications and improvements made since their introduction. In particular, the use of specific promoters to restrict expression, translational enhancers and regulatory elements to boost expression from a single virion and the development of regulatable systems is described